Function model - PDFSEARCH.IO - Document Search Engine

Function model
Results: 1865

#	Item
561	Social Economic Debates April 2014, Vol. 3, No. 1 ANALYSIS OF ECONOMIC GROWTH DIFFERENTIAL EQUATIONS Nouralah Salehi Asfiji Add to Reading List Source URL: www.economic-debates.ro Language: English - Date: 2014-04-24 07:42:35 Population ecology Economic growth Population Science Neoclassical growth model Exponential growth Logistic function Population growth Fourier analysis Demography Macroeconomics Economics
562	Linear Logic, Heap-shape Patterns and Imperative Programming Extended Abstract Limin Jia David Walker Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2015-04-22 06:08:46 Predicate logic Model theory Symbol Interpretation Function Monadic predicate calculus Logic programming Lambda calculus Natural deduction Mathematical logic Mathematics Logic
563	egu_logo_without_circle_grey Add to Reading List Source URL: www.geosci-model-dev.net Language: English - Date: 2014-12-04 04:37:19 Soil Soil mechanics Earth Land management Aquifers Pedotransfer function Water content Hydraulic conductivity Infiltration Soil physics Hydrology Soil science
564	Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder (Extended Abstract)? Jasmin Christian Blanchette and Tobias Nipkow Fakult¨at f¨ur Informatik, T. U. M¨unchen, Garching, Ger Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-04-01 08:28:46 Programming paradigms Formal methods Mathematical proofs Lambda calculus Function Well-formed formula Constructible universe Logic programming Relational model Mathematics Logic Mathematical logic
565	Predicative Lexicographic Path Orders: Towards a Maximal Model for Primitive Recursive Functions∗ Naohi Eguchi Institute of Computer Science, University of Innsbruck, Austria Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:12 Mathematical logic Recursion Theory of computation Functions and mappings Programming idioms Primitive recursive function Well-founded relation ELEMENTARY Fold Computability theory Mathematics Theoretical computer science
566	/ dall.tex DALL: Davidon’s Algorithm for Log Likelihood Maximization — A subroutine for statistical model builders — Add to Reading List Source URL: ismrepo.ism.ac.jp Language: English - Date: 2014-06-23 11:00:10 Maximum likelihood Likelihood function Logarithm Mathematical optimization Mathematical sciences Estimation theory Statistics Mathematics
567	Operational domain theory and topology of sequential programming languages Mart´ın Escard´o Weng Kin Ho Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-12-11 05:21:07 Metalogic Denotational semantics Structure Continuous function Sheaf Lambda calculus Orbifold Surreal number Mathematics Models of computation Model theory
568	Model TS-04-NK v2.0 Integrated Speech Generation System Add to Reading List Source URL: www.textspeak.com Language: English - Date: 2010-08-31 15:43:00 Computing Assistive technology Universal Serial Bus Apple Keyboard Control key Function key Speech synthesis USB flash drive Computer hardware Computer keyboards Apple Inc.
569	Planning Via Petri Net Unfolding Sarah Hickmott1 , Jussi Rintanen2 , Sylvie Thi´ebaux2 , Lang White1 National ICT Australia 1 School of Electrical & Electronic Engineering, The University of Adelaide, & 2 Add to Reading List Source URL: goanna.cs.rmit.edu.au Language: English - Date: 2010-01-13 00:16:18 Models of computation Concurrency Diagrams Petri net Computer science Heuristic function A* search algorithm Model checking Unfolding Mathematics Heuristics Theoretical computer science
570	EUROGRAPHICSI. Navazo, P. Poulin (Guest Editors) Volume), Number 2 Capturing Relightable Human Performances under Add to Reading List Source URL: media.au.tsinghua.edu.cn Language: English - Date: 2015-01-26 07:16:32 Radiometry Electromagnetic radiation Shading Bidirectional reflectance distribution function Rendering Phong reflection model Albedo Visual appearance Reflectivity Computer graphics 3D computer graphics Optics

UPDATE